perm filename TR324.6[AM,DBL] blob
sn#574948 filedate 1981-03-24 generic text, type T, neo UTF8
<CSD.LENAT>TRACE.MAR24.6 is now open.
"24-Mar-81 14:45:39"
←
Eurisko)
Starting EURISKO
Douglas B. Lenat
February, 1981
Fully Initialize? (Y or N):
Y
OK, defining Slots, UsedSlots, UnusedSlots, NUnitSlots as I go along... Done! (
57 Slots)
Ready to start? Y
Task 1: Focusing on PerfSquare
Since PerfSquare has no known Examples, it is probably worth looking for some.
Task 2: Working on a new promising task: (It is AlmostCertain (825) that
finding Examples of PerfSquare will be worthwhile, since: ((To properly study
PerfSquare we must gather empirical data about instances of that concept)))
Task 3: Working on a new promising task: (It is AlmostCertain (924) that
finding Applics of Square will be worthwhile, since: ((Recent task was stymied
for lack of such applics; namely, trying to find Examples of PerfSquare) (Recent
task was stymied for lack of such applics; namely, trying to find Examples of
PerfSquare)))
Instantiated Square; found 200 Applics
Task 4: Working on a new promising task: (It is Possible (512) that finding
Examples of PerfSquare will be worthwhile, since: ((Had to suspend whilst
gathering Applics of Square) (To properly study PerfSquare we must gather
empirical data about instances of that concept) (Had to suspend whilst gathering
Applics of Square)))
Instantiated PerfSquare; there are now 200 Examples
Instantiated PerfSquare; there are now 200 Examples
Task 5: Focusing on PrimeNum
Since PrimeNum has no known Examples, it is probably worth looking for some.
Task 6: Working on a new promising task: (It is AlmostCertain (825) that
finding Examples of PrimeNum will be worthwhile, since: ((To properly study
PrimeNum we must gather empirical data about instances of that concept)))
collecting lists
7488, 10048 free cells
Instantiated PrimeNum; found 78 Examples
Task 7: Focusing on win1
Task 8: Focusing on HindSightRule
Task 9: Focusing on Heuristic
Task 10: Focusing on ProtoConjec
Task 11: Focusing on EvenNum
Since EvenNum has no known Examples, it is probably worth looking for some.
Task 12: Working on a new promising task: (It is Probable (750) that finding
Examples of EvenNum will be worthwhile, since: ((To properly study EvenNum we
must gather empirical data about instances of that concept)))
Instantiated EvenNum; found 200 Examples
Task 13: Focusing on OddNum
Since OddNum has no known Examples, it is probably worth looking for some.
Task 14: Working on a new promising task: (It is Probable (750) that finding
Examples of OddNum will be worthwhile, since: ((To properly study OddNum we must
gather empirical data about instances of that concept)))
Instantiated OddNum; found 200 Examples
Task 15: Focusing on PerfNum
Task 16: Focusing on H1
Conjec-1:
Since some specializations of H1 (i.e., Specialize a sometimes-useful action)
are quite valuable, but over four-fifths are trash, EURISKO has recognized the value of finding new concepts similar to -- but more specialized than --
H1
, and (to that end) has added a new task to the agenda to find such specializations.
Task 17: Working on a new promising task: (It is Probable (709) that finding
Specializations of H1 will be worthwhile, since: (Conjec-1))
H1 will be specialized by specializing the following of its slots: (IsA
IfTrulyRelevant Worth Applics ThenConjecture ThenAddToAgenda)
(A new unit will be created by specializing the English slot of H1
; that slot was chosen randomly.)
Task 18: Working on a new promising task: (It is Probable (708) that finding
Specializations of H1 will be worthwhile, since: ((
A new unit will be created by specializing the English slot of H1
; that slot was chosen randomly.)))
Inside the English slot, Eliminated: the of performing f are useful , THEN
consider new
Specialized the English slot of H1, replacing its old value by (IF results only
occasionally creating specializations of f).
1 new units
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
Task 19: Working on a new promising task: (It is Probable (705) that finding
Applics of H1-1 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
Task 20: Working on a new promising task: (It is Probable (682) that finding
Specializations of H1 will be worthwhile, since: ((
A new unit will be created by specializing the ThenAddToAgenda slot of H1
; that slot was chosen randomly.)))
Inside the ThenAddToAgenda slot, H1 -> H1-1
Specialized the ThenAddToAgenda slot of H1, replacing its old value by (LAMBDA (
f) (SETQ Agenda (MergeTasks (LIST (LIST (AverageWorths f (QUOTE H1)) f (QUOTE
SubSlots) (LIST conjec) (LIST (LIST (QUOTE CreditTo) (QUOTE H1))))) Agenda)) (
AddPropL TaskResults (QUOTE NewTasks) (QUOTE (1 unit must be specialized)))).
1 new units
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
Task 21: Working on a new promising task: (It is Probable (705) that finding
Applics of H1-2 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
Task 22: Working on a new promising task: (It is Probable (682) that finding
Specializations of H1 will be worthwhile, since: ((
A new unit will be created by specializing the ThenConjecture slot of H1
; that slot was chosen randomly.)))
Inside the ThenConjecture slot, H1 -> H1-2
Specialized the ThenConjecture slot of H1, replacing its old value by (LAMBDA (f
) (SETQ Conjectures (CONS (PROGN (SETQ conjec (NewNam (QUOTE Conjec))) (
CreateUnit conjec (QUOTE ProtoConjec)) (PUT conjec (QUOTE English) (NCONC (LIST
(QUOTE Specializations) (QUOTE of) f) (APPEND (QUOTE (may be more useful than it
is, since it has some good instances but many more poor ones))) (LIST (LIST (
Percentify (DIFFERENCE 1.0 Fraction)) (QUOTE are) (QUOTE losers))))) (PUT conjec
(QUOTE Abbrev) (CONS f (QUOTE (sometimes wins, usually loses, so
specializations of it may win big)))) (PUT conjec (QUOTE Worth) (FIX (Average (
NearnessTo Fraction .1) (AverageWorths (QUOTE H1-2) f)))) conjec) Conjectures)))
.
1 new units
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
Task 23: Working on a new promising task: (It is Probable (706) that finding
Applics of H1-3 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
Task 24: Working on a new promising task: (It is Probable (682) that finding
Specializations of H1 will be worthwhile, since: ((
A new unit will be created by specializing the IfTrulyRelevant slot of H1
; that slot was chosen randomly.)))
Inside the IfTrulyRelevant slot, Applics -> DirectApplics
Specialized the IfTrulyRelevant slot of H1, replacing its old value by (LAMBDA (
f) (* check that some IndirectApplics of f have high Worth, but most have low
Worth) (* the extent to which those conditions are met will determine the amount
of energy to expend working on applying this rule -- its overall relevancy) (
AND (SOME (Applics f) (QUOTE (LAMBDA (a) (* this will have the format (args
results)) (SOME (CADR a) (QUOTE HasHighWorth))))) (GREATERP .2 (SETQ Fraction (
FractionOf (MapUnion (DirectApplics f) (QUOTE CADR)) (QUOTE HasHighWorth)))))).
1 new units
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
Task 25: Working on a new promising task: (It is Probable (706) that finding
Applics of H1-4 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
Task 26: Working on a new promising task: (It is Probable (608) that finding
Specializations of H1 will be worthwhile, since: ((
A new unit will be created by specializing the Applics slot of H1
; that slot was chosen randomly.)))
Hmmm... couldn't seem to find any meaningful specialization of the Applics
slot of H1
Task 27: Working on a new promising task: (It is Probable (608) that finding
Specializations of H1 will be worthwhile, since: ((
A new unit will be created by specializing the Worth slot of H1
; that slot was chosen randomly.)))
Inside the Worth slot, 711 -> 535
Specialized the Worth slot of H1, replacing its old value by 535.
1 new units
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
Task 28: Working on a new promising task: (It is Probable (618) that finding
Applics of H1-5 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
Task 29: Working on a new promising task: (It is Probable (607) that finding
Specializations of H1 will be worthwhile, since: ((
A new unit will be created by specializing the IsA slot of H1
; that slot was chosen randomly.)))
Inside the IsA slot, Heuristic -> HindSightRule
Specialized the IsA slot of H1, replacing its old value by (HindSightRule Op).
1 new units
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
Task 30: Working on a new promising task: (It is Probable (706) that finding
Applics of H1-6 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
Task 31: Working on a new promising task: (It is Unlikely (341) that finding
Specializations of ProtoConjec will be worthwhile, since: ((H1 might have been
specialized better, earlier, if some specializations had existed for ProtoConjec
)))
ProtoConjec will be specialized by specializing the following of its slots: NIL
(A new unit will be created by specializing the IsA slot of ProtoConjec
; that slot was chosen randomly.)
Task 32: Working on a new promising task: (It is Possible (547) that finding
Specializations of ProtoConjec will be worthwhile, since: ((
A new unit will be created by specializing the IsA slot of ProtoConjec
; that slot was chosen randomly.)))
Hmmm... couldn't seem to find any meaningful specialization of the IsA slot of
ProtoConjec
Task 33: Working on a new promising task: (It is Unlikely (341) that finding
Specializations of English will be worthwhile, since: ((H1 might have been
specialized better, earlier, if some specializations had existed for English)))
English will be specialized by specializing the following of its slots: (Worth
IsA)
(A new unit will be created by specializing the IsA slot of English
; that slot was chosen randomly.)
Task 34: Working on a new promising task: (It is Possible (424) that finding
Specializations of English will be worthwhile, since: ((
A new unit will be created by specializing the Worth slot of English
; that slot was chosen randomly.)))
Inside the Worth slot, 304 -> 97
(English-1 (u) NIL)
Specialized the Worth slot of English, replacing its old value by 97.
1 new units
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
Task 35: Working on a new promising task: (It is Possible (523) that finding
Specializations of English will be worthwhile, since: ((
A new unit will be created by specializing the IsA slot of English
; that slot was chosen randomly.) (
A new unit will be created by specializing the IsA slot of English
; that slot was chosen randomly.)))
Hmmm... couldn't seem to find any meaningful specialization of the IsA slot of
English
Task 36: Working on a new promising task: (It is Unlikely (399) that finding
Examples of English-1 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
Task 37: Working on a new promising task: (It is Unlikely (341) that finding
Specializations of Abbrev will be worthwhile, since: ((H1 might have been
specialized better, earlier, if some specializations had existed for Abbrev)))
Abbrev will be specialized by specializing the following of its slots: (Worth)
(A new unit will be created by specializing the Worth slot of Abbrev
; that slot was chosen randomly.)
Task 38: Working on a new promising task: (It is Possible (524) that finding
Specializations of Abbrev will be worthwhile, since: ((
A new unit will be created by specializing the Worth slot of Abbrev
; that slot was chosen randomly.) (
A new unit will be created by specializing the Worth slot of Abbrev
; that slot was chosen randomly.)))
Inside the Worth slot, 307 -> 114
(Abbrev-1 (u) NIL)
Specialized the Worth slot of Abbrev, replacing its old value by 114.
1 new units
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
Task 39: Working on a new promising task: (It is Possible (407) that finding
Examples of Abbrev-1 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
Task 40: Working on a new promising task: (It is Unlikely (341) that finding
Specializations of Worth will be worthwhile, since: ((H1 might have been
specialized better, earlier, if some specializations had existed for Worth)))
Worth will be specialized by specializing the following of its slots: (IsA
DataType)
(A new unit will be created by specializing the DataType slot of Worth
; that slot was chosen randomly.)
Task 41: Working on a new promising task: (It is Possible (598) that finding
Specializations of Worth will be worthwhile, since: ((
A new unit will be created by specializing the DataType slot of Worth
; that slot was chosen randomly.) (
A new unit will be created by specializing the DataType slot of Worth
; that slot was chosen randomly.)))
Hmmm... couldn't seem to find any meaningful specialization of the DataType
slot of Worth
Task 42: Working on a new promising task: (It is Possible (423) that finding
Specializations of Worth will be worthwhile, since: ((
A new unit will be created by specializing the IsA slot of Worth
; that slot was chosen randomly.)))
Inside the IsA slot, Slot -> CriterialSlot
(Worth-1 (u) NIL)
Specialized the IsA slot of Worth, replacing its old value by (CriterialSlot
NonCriterialSlot).
1 new units
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
Task 43: Working on a new promising task: (It is Possible (503) that finding
Examples of Worth-1 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
Task 44: Focusing on Conjec-1
Task 45: Focusing on H1-6
Since H1-6 has no known Applics, it is probably worth looking for some.
Task 46: Working on a new promising task: (It is Probable (705) that finding
Applics of H1-6 will be worthwhile, since: ((To properly study H1-6 we must
gather empirical data about instances of that concept)))
Task 47: Focusing on H1-4
Since H1-4 has no known Applics, it is probably worth looking for some.
Task 48: Working on a new promising task: (It is Probable (705) that finding
Applics of H1-4 will be worthwhile, since: ((To properly study H1-4 we must
gather empirical data about instances of that concept)))
Task 49: Focusing on H1-3
Since H1-3 has no known Applics, it is probably worth looking for some.
Task 50: Working on a new promising task: (It is Probable (705) that finding
Applics of H1-3 will be worthwhile, since: ((To properly study H1-3 we must
gather empirical data about instances of that concept)))
Task 51: Focusing on H1-2
Since H1-2 has no known Applics, it is probably worth looking for some.
Task 52: Working on a new promising task: (It is Probable (705) that finding
Applics of H1-2 will be worthwhile, since: ((To properly study H1-2 we must
gather empirical data about instances of that concept)))
Task 53: Focusing on H1-1
Since H1-1 has no known Applics, it is probably worth looking for some.
Task 54: Working on a new promising task: (It is Probable (704) that finding
Applics of H1-1 will be worthwhile, since: ((To properly study H1-1 we must
gather empirical data about instances of that concept)))
Task 55: Focusing on H5
Conjec-2:
Since some specializations of H5 (i.e., Specialize u by specializing some
random slots)
are quite valuable, but over four-fifths are trash, EURISKO has recognized the value of finding new concepts similar to -- but more specialized than --
H5
, and (to that end) has added a new task to the agenda to find such specializations.
Conjec-3:
Since some specializations of H5 (i.e., Specialize u by specializing some
random slots)
are quite valuable, but over four-fifths are trash, EURISKO has recognized the value of finding new concepts similar to -- but more specialized than --
H5
, and (to that end) has added a new task to the agenda to find such specializations.
Conjec-4:
Since some specializations of H5 (i.e., Specialize u by specializing some
random slots)
are quite valuable, but over four-fifths are trash, EURISKO has recognized the value of finding new concepts similar to -- but more specialized than --
H5
, and (to that end) has added a new task to the agenda to find such specializations.
Conjec-5:
Since some specializations of H5 (i.e., Specialize u by specializing some
random slots)
are quite valuable, but over four-fifths are trash, EURISKO has recognized the value of finding new concepts similar to -- but more specialized than --
H5
, and (to that end) has added a new task to the agenda to find such specializations.
Conjec-6:
Since some specializations of H5 (i.e., Specialize u by specializing some
random slots)
are quite valuable, but over four-fifths are trash, EURISKO has recognized the value of finding new concepts similar to -- but more specialized than --
H5
, and (to that end) has added a new task to the agenda to find such specializations.
collecting floating numbers
503, 1015 free cells
Conjec-7:
Since some specializations of H5 (i.e., Specialize u by specializing some
random slots)
are quite valuable, but over four-fifths are trash, EURISKO has recognized the value of finding new concepts similar to -- but more specialized than --
H5
, and (to that end) has added a new task to the agenda to find such specializations.
Task 56: Working on a new promising task: (It is AlmostCertain (1000) that
finding Specializations of H5 will be worthwhile, since: (Conjec-2 and 15 other
reasons))
H5 will be specialized by specializing the following of its slots: (IsA
IfPotentiallyRelevant Abbrev IfWorkingOnTask ThenPrintToUser Specializations)
(A new unit will be created by specializing the ThenAddToAgenda slot of H5
; that slot was chosen randomly.)
Task 57: Working on a new promising task: (It is AlmostCertain (853) that
finding Specializations of H5 will be worthwhile, since: ((
A new unit will be created by specializing the ThenAddToAgenda slot of H5
; that slot was chosen randomly.)))
Hmmm... couldn't seem to find any meaningful specialization of the
ThenAddToAgenda slot of H5
Task 58: Working on a new promising task: (It is AlmostCertain (827) that
finding Specializations of H5 will be worthwhile, since: ((
A new unit will be created by specializing the ThenPrintToUser slot of H5
; that slot was chosen randomly.)))
Inside the ThenPrintToUser slot, 13 -> 4
Specialized the ThenPrintToUser slot of H5, replacing its old value by (LAMBDA (
task) (CPRIN1 4 CRLF CurUnit
will be specialized by specializing the following of its slots: SlotsToChange
CRLF CRLF) T).
1 new units
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
Task 59: Working on a new promising task: (It is AlmostCertain (827) that
finding Specializations of H5 will be worthwhile, since: ((
A new unit will be created by specializing the IfWorkingOnTask slot of H5
; that slot was chosen randomly.)))
Inside the IfWorkingOnTask slot, IGEQ -> IEQP
Specialized the IfWorkingOnTask slot of H5, replacing its old value by (LAMBDA (
task) (AND (IsAKindOf CurSlot (QUOTE Specializations)) (NULL (ASSOC (QUOTE
SlotToChange) CurSup)) (IEQP 7 (TheNumberOf Agenda (FUNCTION (LAMBDA (Z) (AND (
EQ CurUnit (ExtractUnitName Z)) (EQ CurSlot (ExtractSlotName Z))))))))).
1 new units
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
Task 60: Working on a new promising task: (It is AlmostCertain (827) that
finding Specializations of H5 will be worthwhile, since: ((
A new unit will be created by specializing the IfPotentiallyRelevant slot of
H5 ; that slot was chosen randomly.)))
Hmmm... couldn't seem to find any meaningful specialization of the
IfPotentiallyRelevant slot of H5
Task 61: Working on a new promising task: (It is Probable (758) that finding
Specializations of H5 will be worthwhile, since: ((
A new unit will be created by specializing the Specializations slot of H5
; that slot was chosen randomly.)))
Inside the Specializations slot, H5 -> H5-2
Specialized the Specializations slot of H5, replacing its old value by (H5-2
H5-1 H5-2).
1 new units
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
Task 62: Working on a new promising task: (It is Probable (754) that finding
Specializations of H5 will be worthwhile, since: ((
A new unit will be created by specializing the Abbrev slot of H5
; that slot was chosen randomly.)))
Inside the Abbrev slot, Eliminated: Specialize u slots
Specialized the Abbrev slot of H5, replacing its old value by (by specializing
some random).
1 new units
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
Task 63: Working on a new promising task: (It is Probable (752) that finding
Specializations of H5 will be worthwhile, since: ((
A new unit will be created by specializing the IsA slot of H5
; that slot was chosen randomly.)))
Hmmm... couldn't seem to find any meaningful specialization of the IsA slot of
H5
Task 64: Working on a new promising task: (It is Probable (709) that finding
SubSlots of H5 will be worthwhile, since: (Conjec-4))
H5 will be specialized by specializing the following of its slots: (IsA English
Worth Abbrev ThenCompute Specializations)
(A new unit will be created by specializing the Worth slot of H5
; that slot was chosen randomly.)
H5 will be specialized by specializing the following of its slots: (English
Abbrev ThenPrintToUser ThenAddToAgenda ThenCompute Specializations
Generalizations)
Task 65: Working on a new promising task: (It is Probable (705) that finding
Applics of H5-4 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
Task 66: Working on a new promising task: (It is Probable (705) that finding
Applics of H5-3 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
Task 67: Working on a new promising task: (It is Probable (705) that finding
Applics of H5-2 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
Task 68: Working on a new promising task: (It is Probable (705) that finding
Applics of H5-1 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
Task 69: Working on a new promising task: (It is Probable (782) that finding
SubSlots of H5 will be worthwhile, since: ((
A new unit will be created by specializing the ThenCompute slot of H5
; that slot was chosen randomly.) (
A new unit will be created by specializing the ThenCompute slot of H5
; that slot was chosen randomly.)))
Hmmm... couldn't seem to find any meaningful specialization of the ThenCompute
slot of H5
Task 70: Working on a new promising task: (It is Probable (713) that finding
SubSlots of H5 will be worthwhile, since: ((
A new unit will be created by specializing the Specializations slot of H5
; that slot was chosen randomly.) (
A new unit will be created by specializing the Specializations slot of H5
; that slot was chosen randomly.)))
Inside the Specializations slot, H5-4 -> H5-2
Specialized the Specializations slot of H5, replacing its old value by (H5 H5-1
H5-1 H5-3 H5-2).
1 new units
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
Task 71: Working on a new promising task: (It is Probable (709) that finding
SubSlots of H5 will be worthwhile, since: ((
A new unit will be created by specializing the Abbrev slot of H5
; that slot was chosen randomly.) (
A new unit will be created by specializing the Abbrev slot of H5
; that slot was chosen randomly.)))
Inside the Abbrev slot, Eliminated: Specialize by slots
Specialized the Abbrev slot of H5, replacing its old value by (u specializing
some random).
1 new units
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
Task 72: Working on a new promising task: (It is AlmostCertain (808) that
finding SubSlots of H5 will be worthwhile, since: ((
A new unit will be created by specializing the Worth slot of H5
; that slot was chosen randomly.) (
A new unit will be created by specializing the Worth slot of H5
; that slot was chosen randomly.)))
Inside the Worth slot, 709 -> 520
Specialized the Worth slot of H5, replacing its old value by 520.
1 new units
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
Task 73: Working on a new promising task: (It is Probable (708) that finding
SubSlots of H5 will be worthwhile, since: ((
A new unit will be created by specializing the English slot of H5
; that slot was chosen randomly.) (
A new unit will be created by specializing the English slot of H5
; that slot was chosen randomly.)))
Inside the English slot, Eliminated: IF the to specialize and slot chosen be
changed, randomly
Specialized the English slot of H5, replacing its old value by (current task is
a unit, no specific has been to the one THEN select which slots to specialize).
1 new units
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
Task 74: Working on a new promising task: (It is Probable (705) that finding
Applics of H5-6 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
Task 75: Working on a new promising task: (It is Probable (705) that finding
Applics of H5-8 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
Task 76: Working on a new promising task: (It is Probable (705) that finding
Applics of H5-5 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
Task 77: Working on a new promising task: (It is Probable (682) that finding
SubSlots of H5 will be worthwhile, since: ((
A new unit will be created by specializing the ThenAddToAgenda slot of H5
; that slot was chosen randomly.)))
Inside the ThenAddToAgenda slot, H5 -> H5-5
Specialized the ThenAddToAgenda slot of H5, replacing its old value by (LAMBDA (
task) (SETQ Agenda (MergeTasks (SORT (MAPCAR SlotsToChange (FUNCTION (LAMBDA (S)
(LIST (Average CurPri (AverageWorths S (QUOTE H5-4))) CurUnit CurSlot (CONS (
SETQ NewReason (LIST A new unit will be created by specializing the S slot of
CurUnit ; that slot was chosen randomly.)) NIL) (LIST (LIST (QUOTE SlotToChange
) S) (CONS (QUOTE CreditTo) (CONS (QUOTE H5) CreditTo))))))) (QUOTE OrderTasks))
Agenda)) (SETQ TaskResults (AddPropL TaskResults (QUOTE NewTasks) (LIST (LENGTH
SlotsToChange) (QUOTE specific) (QUOTE slots) (QUOTE of) CurUnit (QUOTE to) (
QUOTE find) CurSlot (QUOTE of))))).
1 new units
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
Task 78: Working on a new promising task: (It is Probable (705) that finding
Applics of H5-9 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
Task 79: Working on a new promising task: (It is Probable (682) that finding
SubSlots of H5 will be worthwhile, since: ((
A new unit will be created by specializing the ThenPrintToUser slot of H5
; that slot was chosen randomly.)))
Inside the ThenPrintToUser slot, 13 -> 4
collecting lists
7244, 10316 free cells
Specialized the ThenPrintToUser slot of H5, replacing its old value by (LAMBDA (
task) (CPRIN1 4 CRLF CurUnit
will be specialized by specializing the following of its slots: SlotsToChange
CRLF CRLF) T).
1 new units
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
Task 80: Working on a new promising task: (It is Probable (705) that finding
Applics of H5-10 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
Task 81: Working on a new promising task: (It is Probable (610) that finding
Applics of H5-7 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
Task 82: Working on a new promising task: (It is Probable (607) that finding
SubSlots of H5 will be worthwhile, since: ((
A new unit will be created by specializing the IsA slot of H5
; that slot was chosen randomly.)))
Inside the IsA slot, Op -> Heuristic
Specialized the IsA slot of H5, replacing its old value by (Heuristic Heuristic)
.
1 new units
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
Task 83: Working on a new promising task: (It is Probable (705) that finding
Applics of H5-11 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
Task 84: Working on a new promising task: (It is Probable (607) that finding
SubSlots of H5 will be worthwhile, since: ((
A new unit will be created by specializing the Generalizations slot of H5
; that slot was chosen randomly.)))
Hmmm... couldn't seem to find any meaningful specialization of the
Generalizations slot of H5
Task 85: Working on a new promising task: (It is Possible (413) that finding
Specializations of EQ will be worthwhile, since: ((H5 might have been
specialized better, earlier, if some specializations had existed for EQ)))
EQ will be specialized by specializing the following of its slots: (IsA FastAlg
ElimSlots)
(A new unit will be created by specializing the Domain slot of EQ
; that slot was chosen randomly.)
EQ will be specialized by specializing the following of its slots: (Domain
Generalizations ElimSlots)
EQ will be specialized by specializing the following of its slots: (Worth Arity
ElimSlots)
EQ will be specialized by specializing the following of its slots: (IsA Arity
Range Generalizations ElimSlots)
Task 86: Working on a new promising task: (It is AlmostCertain (1000) that
finding Specializations of EQ will be worthwhile, since: ((
A new unit will be created by specializing the ElimSlots slot of EQ
; that slot was chosen randomly.) and 7 other reasons))
Inside the ElimSlots slot, Applics -> DirectApplics
Specialized the ElimSlots slot of EQ, replacing its old value by (DirectApplics)
.
1 new units
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
Task 87: Working on a new promising task: (It is Probable (600) that finding
Applics of EQ-1 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
Task 88: Working on a new promising task: (It is Possible (534) that finding
Specializations of EQ will be worthwhile, since: ((
A new unit will be created by specializing the FastAlg slot of EQ
; that slot was chosen randomly.)))
Inside the FastAlg slot, EQ -> EQ-1
Specialized the FastAlg slot of EQ, replacing its old value by (LAMBDA (X Y) (
EQ-1 X Y)).
1 new units
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
Task 89: Working on a new promising task: (It is Probable (634) that finding
Specializations of EQ will be worthwhile, since: ((
A new unit will be created by specializing the Domain slot of EQ
; that slot was chosen randomly.) (
A new unit will be created by specializing the Domain slot of EQ
; that slot was chosen randomly.)))
Inside the Domain slot, Anything -> ReprConcept
Specialized the Domain slot of EQ, replacing its old value by (ReprConcept
Anything).
1 new units
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
Task 90: Working on a new promising task: (It is Probable (601) that finding
Applics of EQ-2 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
Task 91: Working on a new promising task: (It is Probable (601) that finding
Applics of EQ-3 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
Task 92: Working on a new promising task: (It is Possible (460) that finding
Specializations of EQ will be worthwhile, since: ((
A new unit will be created by specializing the Worth slot of EQ
; that slot was chosen randomly.)))
Inside the Worth slot, 501 -> 280
Specialized the Worth slot of EQ, replacing its old value by 280.
1 new units
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
Task 93: Working on a new promising task: (It is Possible (559) that finding
Specializations of EQ will be worthwhile, since: ((
A new unit will be created by specializing the Generalizations slot of EQ
; that slot was chosen randomly.) (
A new unit will be created by specializing the Generalizations slot of EQ
; that slot was chosen randomly.)))
Hmmm... couldn't seem to find any meaningful specialization of the
Generalizations slot of EQ
Task 94: Working on a new promising task: (It is Possible (559) that finding
Specializations of EQ will be worthwhile, since: ((
A new unit will be created by specializing the Arity slot of EQ
; that slot was chosen randomly.) (
A new unit will be created by specializing the Arity slot of EQ
; that slot was chosen randomly.)))
Hmmm... couldn't seem to find any meaningful specialization of the Arity
slot of EQ
Task 95: Working on a new promising task: (It is Possible (559) that finding
Specializations of EQ will be worthwhile, since: ((
A new unit will be created by specializing the IsA slot of EQ
; that slot was chosen randomly.) (
A new unit will be created by specializing the IsA slot of EQ
; that slot was chosen randomly.)))
Inside the IsA slot, Op -> MathPred
Specialized the IsA slot of EQ, replacing its old value by (UnitOp UnitOp
MathPred MathPred Pred).
1 new units
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
Task 96: Working on a new promising task: (It is Probable (601) that finding
Examples of EQ-5 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
Task 97: Working on a new promising task: (It is Possible (490) that finding
Applics of EQ-4 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
Task 98: Working on a new promising task: (It is Possible (459) that finding
Specializations of EQ will be worthwhile, since: ((
A new unit will be created by specializing the Range slot of EQ
; that slot was chosen randomly.)))
Hmmm... couldn't seem to find any meaningful specialization of the Range
slot of EQ
Task 99: Focusing on Conjec-7
Task 100: Focusing on Conjec-5
Task 101: Focusing on Conjec-4
Task 102: Focusing on Conjec-2
Task 103: Focusing on Conjec-3
Task 104: Focusing on Conjec-6
Task 105: Focusing on H5-11
Task 106: Focusing on H5-10
Since H5-10 has no known Applics, it is probably worth looking for some.
Task 107: Working on a new promising task: (It is Probable (705) that finding
Applics of H5-10 will be worthwhile, since: ((To properly study H5-10 we must
gather empirical data about instances of that concept)))
Task 108: Focusing on H5-9
Since H5-9 has no known Applics, it is probably worth looking for some.
Task 109: Working on a new promising task: (It is Probable (705) that finding
Applics of H5-9 will be worthwhile, since: ((To properly study H5-9 we must
gather empirical data about instances of that concept)))
Task 110: Focusing on H5-8
Since H5-8 has no known Applics, it is probably worth looking for some.
Task 111: Working on a new promising task: (It is Probable (704) that finding
Applics of H5-8 will be worthwhile, since: ((To properly study H5-8 we must
gather empirical data about instances of that concept)))
Task 112: Focusing on H5-6
Since H5-6 has no known Applics, it is probably worth looking for some.
Task 113: Working on a new promising task: (It is Probable (704) that finding
Applics of H5-6 will be worthwhile, since: ((To properly study H5-6 we must
gather empirical data about instances of that concept)))
Task 114: Focusing on H5-5
Since H5-5 has no known Applics, it is probably worth looking for some.
Task 115: Working on a new promising task: (It is Probable (704) that finding
Applics of H5-5 will be worthwhile, since: ((To properly study H5-5 we must
gather empirical data about instances of that concept)))
Task 116: Focusing on H5-4
Since H5-4 has no known Applics, it is probably worth looking for some.
Task 117: Working on a new promising task: (It is Probable (704) that finding
Applics of H5-4 will be worthwhile, since: ((To properly study H5-4 we must
gather empirical data about instances of that concept)))
Task 118: Focusing on H5-3
Task 119: Focusing on H5-2
Since H5-2 has no known Applics, it is probably worth looking for some.
Task 120: Working on a new promising task: (It is Probable (704) that finding
Applics of H5-2 will be worthwhile, since: ((To properly study H5-2 we must
gather empirical data about instances of that concept)))
Task 121: Focusing on H5-1
Task 122: Focusing on H3
Task 123: Focusing on H4
Task 124: Focusing on H15
Since H15 has no known Applics, it is probably worth looking for some.
Task 125: Working on a new promising task: (It is Probable (700) that finding
Applics of H15 will be worthwhile, since: ((To properly study H15 we must gather
empirical data about instances of that concept)))
Task 126: Focusing on H14
Since H14 has no known Applics, it is probably worth looking for some.
Task 127: Working on a new promising task: (It is Probable (700) that finding
Applics of H14 will be worthwhile, since: ((To properly study H14 we must gather
empirical data about instances of that concept)))
Task 128: Focusing on H13
Since H13 has no known Applics, it is probably worth looking for some.
Task 129: Working on a new promising task: (It is Probable (700) that finding
Applics of H13 will be worthwhile, since: ((To properly study H13 we must gather
empirical data about instances of that concept)))
Task 130: Focusing on HAvoid3
Since HAvoid3 has no known Applics, it is probably worth looking for some.
Task 131: Working on a new promising task: (It is Probable (700) that finding
Applics of HAvoid3 will be worthwhile, since: ((To properly study HAvoid3 we
must gather empirical data about instances of that concept)))
Task 132: Focusing on HAvoid2
Since HAvoid2 has no known Applics, it is probably worth looking for some.
Task 133: Working on a new promising task: (It is Probable (700) that finding
Applics of HAvoid2 will be worthwhile, since: ((To properly study HAvoid2 we
must gather empirical data about instances of that concept)))
Task 134: Focusing on HAvoid
Since HAvoid has no known Applics, it is probably worth looking for some.
Task 135: Working on a new promising task: (It is Probable (700) that finding
Applics of HAvoid will be worthwhile, since: ((To properly study HAvoid we must
gather empirical data about instances of that concept)))
Task 136: Focusing on H12
Since H12 has no known Applics, it is probably worth looking for some.
Task 137: Working on a new promising task: (It is Probable (700) that finding
Applics of H12 will be worthwhile, since: ((To properly study H12 we must gather
empirical data about instances of that concept)))
Task 138: Focusing on H2
Since H2 has no known Applics, it is probably worth looking for some.
Task 139: Working on a new promising task: (It is Probable (700) that finding
Applics of H2 will be worthwhile, since: ((To properly study H2 we must gather
empirical data about instances of that concept)))
Task 140: Focusing on H10
Since H10 has no known Applics, it is probably worth looking for some.
Task 141: Working on a new promising task: (It is Probable (700) that finding
Applics of H10 will be worthwhile, since: ((To properly study H10 we must gather
empirical data about instances of that concept)))
Task 142: Focusing on H11
Since H11 has no known Applics, it is probably worth looking for some.
Task 143: Working on a new promising task: (It is Probable (700) that finding
Applics of H11 will be worthwhile, since: ((To properly study H11 we must gather
empirical data about instances of that concept)))
Task 144: Focusing on H6
Task 145: Focusing on H7
Since H7 has no known Applics, it is probably worth looking for some.
Task 146: Working on a new promising task: (It is Probable (700) that finding
Applics of H7 will be worthwhile, since: ((To properly study H7 we must gather
empirical data about instances of that concept)))
Task 147: Focusing on H8
Since H8 has no known Applics, it is probably worth looking for some.
Task 148: Working on a new promising task: (It is Probable (700) that finding
Applics of H8 will be worthwhile, since: ((To properly study H8 we must gather
empirical data about instances of that concept)))
Task 149: Focusing on H9
Since H9 has no known Applics, it is probably worth looking for some.
collecting lists
8516, 10052 free cells
Task 150: Working on a new promising task: (It is Probable (700) that finding
Applics of H9 will be worthwhile, since: ((To properly study H9 we must gather
empirical data about instances of that concept)))
Task 151: Focusing on ThenDeleteOldConcepts
Task 152: Focusing on Alg
Task 153: Focusing on ApplicGenerator
Task 154: Focusing on CompiledDefn
Task 155: Focusing on DataType
Task 156: Focusing on Defn
Task 157: Focusing on Domain
Task 158: Focusing on ElimSlots
Task 159: Focusing on FastAlg
Task 160: Focusing on FastDefn
Task 161: Focusing on Generator
Task 162: Focusing on IfAboutToWorkOnTask
Task 163: Focusing on IfFinishedWorkingOnTask
Task 164: Focusing on IfParts
Task 165: Focusing on IfPotentiallyRelevant
Task 166: Focusing on IfTaskParts
Task 167: Focusing on IfTrulyRelevant
Task 168: Focusing on IfWorkingOnTask
Task 169: Focusing on Inverse
Task 170: Focusing on IterativeAlg
Task 171: Focusing on IterativeDefn
Task 172: Focusing on NonExamples
Task 173: Focusing on RecursiveAlg
Task 174: Focusing on RecursiveDefn
Task 175: Focusing on ThenAddToAgenda
Task 176: Focusing on ThenCompute
Task 177: Focusing on ThenConjecture
Task 178: Focusing on ThenDefineNewConcepts
Task 179: Focusing on ThenModifySlots
Task 180: Focusing on ThenParts
Task 181: Focusing on ThenPrintToUser
Task 182: Focusing on ToDelete
Task 183: Focusing on ToDelete1
Task 184: Focusing on UnitizedAlg
Task 185: Focusing on UnitizedDefn
Task 186: Focusing on Anything
Since Anything has no known Examples, it is probably worth looking for some.
Task 187: Working on a new promising task: (It is Probable (625) that finding
Examples of Anything will be worthwhile, since: ((To properly study Anything we
must gather empirical data about instances of that concept)))
Instantiated Anything; found 951 Examples
Task 188: Working on a new promising task: (It is Probable (724) that finding
Applics of AND will be worthwhile, since: ((Recent task was stymied for lack of
such applics; namely, trying to find Examples of Anything) (Recent task was
stymied for lack of such applics; namely, trying to find Examples of Anything)))
πinterrupted before RAND
(RAND broken)
:(LENGTH (Applics 'AND))
93
:
Applics(AND)
(((1296 331) 331) ((8100 3481) 3481) ((4 5929) 5929) (((((((((((((((((((((((((((
(((((((((((((((((((((((((((((((((((((((((((((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((
(NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (NIL)) ((((NIL) (NIL)) ((NIL) (
NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (
NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (NIL)) (((((NIL) (NIL)) ((NIL) (NIL)) (
NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (NIL)) ((((NIL) (NIL)) (
(NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (NIL)) (((
NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (NIL)) ((((NIL) (NIL)) ((NIL) (
NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (
NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (NIL)) ((((((NIL) (NIL)) ((NIL) (NIL))
(NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (NIL)) ((((NIL) (NIL))
((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (NIL)) ((
(NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (NIL)) (((((NIL) (NIL)) ((NIL) (
NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (NIL)) ((((NIL) (
NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (
NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (NIL)) ((((NIL) (NIL)) (
(NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (NIL)) (((
NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (NIL)) (((((NIL) (NIL)) ((NIL) (
NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (NIL)) ((((NIL) (
NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (
NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (NIL)) ((((NIL) (NIL)) (
(NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (NIL)) (((
NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (NIL)) (((((((NIL) (NIL)) ((NIL)
(NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (NIL)) ((((NIL)
(NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (
NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (NIL)) (((((NIL) (NIL))
((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (NIL)) ((
((NIL) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (
NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (NIL)) ((((NIL) (
NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (
NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (NIL)) ((((((NIL) (NIL))
((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (NIL)) (
(((NIL) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (
NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (NIL)) (((((NIL)
(NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (
NIL)) ((((NIL) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) (
(NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (NIL)) (((
(NIL) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (
NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (NIL)) (((((NIL)
(NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (
NIL)) ((((NIL) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) (
(NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (NIL)) (((
(NIL) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (
NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (NIL)) ((((((NIL)
(NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (
NIL)) ((((NIL) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) (
(NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (NIL)) (((
((NIL) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (
NIL)) (NIL)) ((((NIL) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (
NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (
NIL)) ((((NIL) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) (
(NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (NIL)) (((
((NIL) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (
NIL)) (NIL)) ((((NIL) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (
NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (
NIL)) ((((NIL) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) (
(NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (NIL)) (((
(((((NIL) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL)
(NIL)) (NIL)) ((((NIL) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL))
(NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (
NIL)) (((((NIL) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL))
((NIL) (NIL)) (NIL)) ((((NIL) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL)
(NIL)) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (
NIL)) (NIL)) ((((NIL) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (
NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (
NIL)) ((((((NIL) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL))
((NIL) (NIL)) (NIL)) ((((NIL) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL)
(NIL)) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (
NIL)) (NIL)) (((((NIL) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL))
(NIL)) ((NIL) (NIL)) (NIL)) ((((NIL) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL))
((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((
NIL) (NIL)) (NIL)) ((((NIL) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (
NIL)) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (
NIL)) (NIL)) (((((NIL) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL))
(NIL)) ((NIL) (NIL)) (NIL)) ((((NIL) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL))
((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((
NIL) (NIL)) (NIL)) ((((NIL) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (
NIL)) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (
NIL)) (NIL)) (((((((NIL) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)
) (NIL)) ((NIL) (NIL)) (NIL)) ((((NIL) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)
) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL))
((NIL) (NIL)) (NIL)) (((((NIL) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL)
(NIL)
(RAND broken)
:
EU(Anything)
collecting lists
4733, 10365 free cells
collecting lists
0, 10240 free cells, 35 pages left
collecting lists
0, 10240 free cells, 14 pages left
collecting lists
π0, 7168 free cells, 0 pages left
collecting lists
1, 1 free cells, 0 pages left
(RAND broken)
interrupted before CHECKNIL
collecting lists
41312, 41312 free cells, 0 pages left
Break within a break on CHECKNIL
Unbreaking CHECKNIL
help!
(HELP broken)
:
↑
:↑
←EDITP(Anything)
WARNING: ARE YOU SURE YOU REALLY DON'T MEAN 'EU' ??? !!!
edit
*
P
(Worth 550 Specializations (MathConcept ReprConcept) IsA (Set) IsRangeOf (
RandomChoose GoodChoose BestChoose AND OR TheSecondOf TheFirstOf) InDomainOf (
EQUAL EQ AND OR TheSecondOf TheFirstOf EQ-1 EQ-2 EQ-3 EQ-4 EQ-5) Examples (Set
Heuristic Anything MathConcept Slot MathObj NNumber Unit PrimeNum Conjecture
ReprConcept EvenNum Task MathOp OddNum PerfNum PerfSquare Op SetOfNumbers --)
FastDefn (LAMBDA & T))
*-3 P
(Set Heuristic Anything MathConcept Slot MathObj NNumber Unit PrimeNum
Conjecture ReprConcept EvenNum Task MathOp OddNum PerfNum PerfSquare Op
SetOfNumbers SetOp --)
*21 UP P
... UnitOp NumOp CriterialSlot Pred MathPred Bit NonCriterialSlot HindSightRule
NIL (NIL) (& &) (& & &) (& & & &) (& & & & &) (& & & & & &) (& & & & & & &) (& &
& & & & & &) (& & & & & & & & &) (& & & & & & & & & &) (& & & & & & & & & & &)
--)
*F NIL
*P
... NIL (NIL) (& &) (& & &) (& & & &) (& & & & &) (& & & & & &) (& & & & & & &)
(& & & & & & & &) (& & & & & & & & &) (& & & & & & & & & &) (& & & & & & & & & &
&) (& & & & & & & & & & & &) (& & & & & & & & & & & & &) (& & & & & & & & & & &
& & &) (& & & & & & & & & & & & & & &) (& & & & & & & & & & & & & & & &) (& & &
& & & & & & & & & & & & & &) (& & & & & & & & & & & & & & & & & &) (& & & & & &
& & & & & & & & & & & & &) --)
*LI 1
*1
*P
(NIL (NIL) (& &) (& & &) (& & & &) (& & & & &) (& & & & & &) (& & & & & & &) (&
& & & & & & &) (& & & & & & & & &) (& & & & & & & & & &) (& & & & & & & & & & &)
(& & & & & & & & & & & &) (& & & & & & & & & & & & &) (& & & & & & & & & & & &
& &) (& & & & & & & & & & & & & & &) (& & & & & & & & & & & & & & & &) (& & & &
& & & & & & & & & & & & &) (& & & & & & & & & & & & & & & & & &) (& & & & & & &
& & & & & & & & & & & &) --)
*99
*:
*P
... (& & & & & & & & & & & & & & & & & & & --) (& & & & & & & & & & & & & & & &
& & & --) (& & & & & & & & & & & & & & & & & & & --) (& & & & & & & & & & & & &
& & & & & & --) (& & & & & & & & & & & & & & & & & & & --) (& & & & & & & & & &
& & & & & & & & & --) (& & & & & & & & & & & & & & & & & & & --) (& & & & & & &
& & & & & & & & & & & & --) (& & & & & & & & & & & & & & & & & & & --) (& & & &
& & & & & & & & & & & & & & & --) (& & & & & & & & & & & & & & & & & & & --) (&
& & & & & & & & & & & & & & & & & & --) (& & & & & & & & & & & & & & & & & & &
--) (& & & & & & & & & & & & & & & & & & & --) (& & & & & & & & & & & & & & & &
& & & --) (& & & & & & & & & & & & & & & & & & & --) (& & & & & & & & & & & & &
& & & & & & --) (& & & & & & & & & & & & & & & & & & & --) (& & & & & & & & & &
& & & & & & & & & --) (& & & & & & & & & & & & & & & & & & & --) --)
*1
*P
((& & & & & & & & & & & & & & & & & & & --) (& & & & & & & & & & & & & & & & & &
& --) (& & & & & & & & & & & & & & & & & & & --) (& & & & & & & & & & & & & & &
& & & & --) (& & & & & & & & & & & & & & & & & & & --) (& & & & & & & & & & & &
& & & & & & & --) (& & & & & & & & & & & & & & & & & & & --) (& & & & & & & & &
& & & & & & & & & & --) (& & & & & & & & & & & & & & & & & & & --) (& & & & & &
& & & & & & & & & & & & & --) (& & & & & & & & & & & & & & & & & & & --) (& & &
& & & & & & & & & & & & & & & & --) (& & & & & & & & & & & & & & & & & & & --)
(& & & & & & & & & & & & & & & & & & & --) (& & & & & & & & & & & & & & & & & &
& --) (& & & & & & & & & & & & & & & & & & & --) (& & & & & & & & & & & & & & &
& & & & --) (& & & & & & & & & & & & & & & & & & & --) (& & & & & & & & & & & &
& & & & & & & --) (& & & & & & & & & & & & & & & & & & & --) --)
*1 P
((& & & & & & & & & & & & & & & & & & & --) (& & & & & & & & & & & & & & & & & &
& --) (& & & & & & & & & & & & & & & & & & & --) (& & & & & & & & & & & & & & &
& & & & --) (& & & & & & & & & & & & & & & & & & & --) (& & & & & & & & & & & &
& & & & & & & --) (& & & & & & & & & & & & & & & & & & & --) (& & & & & & & & &
& & & & & & & & & & --) (& & & & & & & & & & & & & & & & & & & --) (& & & & & &
& & & & & & & & & & & & & --) (& & & & & & & & & & & & & & & & & & & --) (& & &
& & & & & & & & & & & & & & & & --) (& & & & & & & & & & & & & & & & & & & --)
(& & & & & & & & & & & & & & & & & & & --) (& & & & & & & & & & & & & & & & & &
& --) (& & & & & & & & & & & & & & & & & & & --) (& & & & & & & & & & & & & & &
& & & & --) (& & & & & & & & & & & & & & & & & & & --) (& & & & & & & & & & & &
& & & & & & & --) (& & & & & & & & & & & & & & & & & & & --) --)
*
*P
((& & & & & & & & & & & & & & & & & & & --) (& & & & & & & & & & & & & & & & & &
& --) (& & & & & & & & & & & & & & & & & & & --) (& & & & & & & & & & & & & & &
& & & & --) (& & & & & & & & & & & & & & & & & & & --) (& & & & & & & & & & & &
& & & & & & & --) (& & & & & & & & & & & & & & & & & & & --) (& & & & & & & & &
& & & & & & & & & & --) (& & & & & & & & & & & & & & & & & & & --) (& & & & & &
& & & & & & & & & & & & & --) (& & & & & & & & & & & & & & & & & & & --) (& & &
& & & & & & & & & & & & & & & & --) (& & & & & & & & & & & & & & & & & & & --)
(& & & & & & & & & & & & & & & & & & & --) (& & & & & & & & & & & & & & & & & &
& --) (& & & & & & & & & & & & & & & & & & & --) (& & & & & & & & & & & & & & &
& & & & --) (& & & & & & & & & & & & & & & & & & & --) (& & & & & & & & & & & &
& & & & & & & --) (& & & & & & & & & & & & & & & & & & & --) --)
*1
*P
((& & & & & & & & & & & & & & & & & & & --) (& & & & & & & & & & & & & & & & & &
& --) (& & & & & & & & & & & & & & & & & & & --) (& & & & & & & & & & & & & & &
& & & & --) (& & & & & & & & & & & & & & & & & & & --) (& & & & & & & & & & & &
& & & & & & & --) (& & & & & & & & & & & & & & & & & & & --) (& & & & & & & & &
& & & & & & & & & & --) (& & & & & & & & & & & & & & & & & & & --) (& & & & & &
& & & & & & & & & & & & & --) (& & & & & & & & & & & & & & & & & & & --) (& & &
& & & & & & & & & & & & & & & & --) (& & & & & & & & & & & & & & & & & & & --)
(& & & & & & & & & & & & & & & & & & & --) (& & & & & & & & & & & & & & & & & &
& --) (& & & & & & & & & & & & & & & & & & & --) (& & & & & & & & & & & & & & &
& & & & --) (& & & & & & & & & & & & & & & & & & & --) (& & & & & & & & & & & &
& & & & & & & --) (& & & & & & & & & & & & & & & & & & & --) --)
*0
S EE
*E (COPNS↓
E ?
*
*E (CONSCOUNT EE)
NON-NUMERIC ARG
((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((
((((((((((((((((((NIL) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL))
(NIL)) ((NIL) (NIL)) (NIL)) ((((NIL) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL))
((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((
NIL) (NIL)) (NIL)) (((((NIL) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (
NIL)) (NIL)) ((NIL) (NIL)) (NIL)) ((((NIL) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (
NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (
NIL)) ((NIL) (NIL)) (NIL)) ((((NIL) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) (
(NIL) (NIL)) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((
NIL) (NIL)) (NIL)) ((((((NIL) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL)
(NIL)) (NIL)) ((NIL) (NIL)) (NIL)) ((((NIL) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL)
(NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (
NIL)) ((NIL) (NIL)) (NIL)) (((((NIL) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL))
((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (NIL)) ((((NIL) (NIL)) ((NIL) (NIL)) (NIL)) (
((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (
NIL)) (NIL)) ((NIL) (NIL)) (NIL)) ((((NIL) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (
NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (
NIL)) ((NIL) (NIL)) (NIL)) (((((NIL) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL))
((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (NIL)) ((((NIL) (NIL)) ((NIL) (NIL)) (NIL)) (
((NIL) (NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (
NIL)) (NIL)) ((NIL) (NIL)) (NIL)) ((((NIL) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (
NIL)) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)) ((NIL) (NIL)) (
NIL)) ((NIL) (NIL)) (NIL)) (((((((NIL) (NIL)) ((NIL) (NIL)) (NIL)) (((NIL) (NIL)
) ((NIL) (NIL)) (NIL)) ((NIL) (NIL)) (NIL)) ((((NIL) (NIL
E ?
*
E ARGLIST(CONSCOUNT)
(U)
*E CONSCOUNT((A B C))
NON-NUMERIC ARG
(A B C)
in CONSCOUNT
(broken)
:E SIZE((A B C))
...
u.d.f.
(SIZE broken)
:COUNT((A B C))
3
:(COUNT EE)
(
←
(LENGTH EE)
98
←
(LENGTH (CAR EE))
97
←
(LENGTH (CAAR EE))
96
←
(LENGTH (CAAAR EE))
95
←
FILES?)
EUR...to be dumped.
plus the variables: EE
want to say where the above go ? No
NIL
←
LOGOUT)